<?php
session_start();

/**
 * Script used to log out a user
 */

// Return json encoded data
header ('Content-type: application/json');

if(isset($_SESSION['user'])){
	session_destroy();
	die(json_encode(array("respons" => "true")));
}else{
	die(json_encode(array("respons" => "false, could not logout")));
}
?>